types of inference